Evaluating functions as processes
نویسندگان
چکیده
منابع مشابه
Evaluating functions as processes
A famous result by Milner is that the λ -calculus can be simulated inside the π-calculus. This simulation, however, holds only modulo strong bisimilarity on processes, i.e. there is a slight mismatch between β -reduction and how it is simulated in the π-calculus. The idea is that evaluating a λ -term in the π-calculus is like running an environment-based abstract machine, rather than applying o...
متن کاملFunctions as proofs as processes
This paper presents a logical approach to the translation of functional calculi into concurrent process calculi. The starting point is a type system for the π-calculus closely related to linear logic. Decompositions of intuitionistic and classical logics into this system provide type-preserving translations of the λand λμ-calculus, both for call-by-name and call-by-value evaluation strategies. ...
متن کاملLazy Functions as Processes
CPS transforms have long been important tools in the study of programming languages, especially those related to the λ-calculus. Recently, it has been shown that encodings into process calculi, such as the π-calculus, can also serve as semantics, in the same way as CPS transforms. It is known that common encodings of the call-byvalue and call-by-name λ-calculi into the π-calculus can be seen as...
متن کاملFunctions as Session-Typed Processes
We study type-directed encodings of the simply-typed λ-calculus in a session-typed π-calculus. The translations proceed in two steps: standard embeddings of simply-typed λ-calculus in a linear λ-calculus, followed by a standard translation of linear natural deduction to linear sequent calculus. We have shown in prior work how to give a Curry-Howard interpretation of the proofs in the linear seq...
متن کاملEvaluating Scale Functions of Spectrally Negative Lévy Processes
In this paper we present a robust numerical method to compute the scale functionW(x) of a general spectrally negative Lévy process (X,P). The method is based on the Esscher transform of measure P under which X is taken and the scale function is determined. This change of measure makes it possible for the scale function to be bounded and, hence, makes numerical computation easy, fast, and stable...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2013
ISSN: 2075-2180
DOI: 10.4204/eptcs.110.6